<?php
/**
 * TODO (sam) MAKE A PROPER ADMIN PAGE! This should be part of admin settings
 * or SOMETHING, not a stupid file you have to call manually.
 */

require_once('module_resourcepage.php');

if(!isadmin()) {
    error('Must be logged in as an admin to access this page');
}

// Update list of extensions
module_resourcepage::$inst->create_extensions_list();

print "OK, updated extensions";
?>
